hard induction proof